1. A Precis of Mathematical Logic
Author: by J.M. Bocheński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
3. Acting and Reflecting :
Author: edited by Wilfried Sieg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
4. Aktive Synthesen:
Author: herausgegeben von Roland Breeur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Phenomenology.,Philosophy (General)
5. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
6. Aspect of Modern Logic
Author: by Evert W. Beth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Philosophy.
Classification :
BC78
.
D8
B948
1970
7. Aspects of Philosophical Logic :
Author: edited by Uwe Mönnich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics -- Philosophy.,Logic.,Philosophy (General)
8. Assumptions of Grand Logics
Author: by James K. Feibleman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
Classification :
BC71
.
B953
1979
9. Augustus De Morgan and the Logic of Relations
Author: by Daniel D. Merrill.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General),Philosophy, Modern.
10. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
11. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
12. Basic Questions on Truth
Author: by Paul Weingartner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic epistemology.,Logic.,Philosophy (General)
Classification :
BC171
.
B973
2000
13. Belief Change
Author: edited by Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
Classification :
Q375
.
E358
1998
14. Beyond Reason :
Author: edited by Gonzalo Munévar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education -- Philosophy.,Logic.,Philosophy (General)
15. Combinators, [lambda]-Terms and Proof Theory
Author: by Sören Stenlund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
16. Communication and Meaning :
Author: by Andrew J.I. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics -- Philosophy.,Logic.,Philosophy (General)
Classification :
P90
.
B936
1983
17. Consciousness, Knowledge, and Truth :
Author: edited by Roberto Poli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic epistemology.,Logic.,Philosophy (General)
Classification :
BD171
.
E358
1993
18. Critical Rationalism, Metaphysics and Science :
Author: edited by I.C. Jarvie, Nathaniel Laor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic epistemology.,Logic.,Philosophy (General)
19. Defeasible Deontic Logic
Author: edited by Donald Nute.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ethics.,Logic.,Philosophy (General)
20. Domain Theory, Logic and Computation :
Author: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
QA76
.
7
E358
2003